Model-Based Systems Engineering: Documentation And Analysis